Merge branch 'ebassi/ci-cleanup-master' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Wed, 17 Jun 2020 15:06:44 +0000 (15:06 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Wed, 17 Jun 2020 15:06:44 +0000 (15:06 +0000)
commit53eb85ba64fed6af83d0bece9fafa5bc24e4aa0c
tree60b3212ff4699ea45b266d6b22dfa3464fc42a14
parentceb63b83f2b575e508c244652cc4296793175ad7
parent73fdefd65c9c144067df45033e46d08c4dc9eadd
Merge branch 'ebassi/ci-cleanup-master' into 'master'

Small clean ups for the CI file

See merge request GNOME/gtk!2102